proteome proteomics proteomic software bioinformatics biotechnology gas protein chromatography hplc genome laboratory chromatographie genomics protein prophet